针对Trivium型密码算法的代数攻击

为了更好地研究Trivium算法的设计思想,选取了2个比较典型的修改Trivium算法,连同Trivium算法一起作为研究对象,把恢复算法的内部状态问题转化为可满足性问题,分析修改Trivium算法抵抗代数攻击的能力.比较了6种猜测策略,并且使用MiniSat2.0求解器求解.根据分析结果给出了Trivium型密码算法抵抗代数攻击的安全设计建议.     

三次Hamilton函数定义的代数曲线的精确参数表示（英文）

In this paper,we show that for any given planar cubic algebraic curves defined by a quadratic Hamiltonian vector field,we can always have their exact explicit parametric representations. We use a model of micro-structured solid to show an application of our conclusions.     

基于代数和三角多项式加权的二次混合样条曲线

利用代数和三角多项式加权的方法,构造了一种二次混合样条曲线,这种曲线具有二次非均匀B样条曲线相似的性质.这里的权系数也是形状参数,称之为权参数,取值范围从[0,1]扩大到[-3.659 79,5.278 98].权参数的不同取值可以整体或局部地调整曲线的形状,并且权参数能像开关那样,使得曲线的各段非常方便灵活地在代数多项式、三角多项式之间转换.不需要用重节点或解方程组方法,而只要令某个或某些权参数取-3.659 79,曲线就能接插值于控制点或控制边.     

代数重建和同步迭代重建在电容层析成像中的比较研究

针对电容层析成像技术(ECT)中的逆问题——图像重建算法的非线性和病态性问题,以12电极电容层析成像系统为对象,研究了代数重建算法(ART)与同步迭代重建算法(SIRT).分别对仿真电容值和实测电容值进行图像重建的实验验证,从成像效果、相对误差及重建时间3个方面对这两种算法进行了评估与分析.结果表明,ART算法和SIRT算法均能有效地实现ECT图像重建,其中SIRT算法能够在100次迭代内达到高精度,在收敛速度和成像效果上更具有优势.     

光滑函数芽的无限相对决定性

在(Rn,0)中一般代数集芽S上,讨论了光滑函数芽在右等价群R的子群Rs作用下其无限相对决定性的条件,所得结果推广了Wilson的有关定理.     

针对LBlock的代数攻击的研究

本文主要介绍了运用代数分析方法分析LBlock。采用MiniSAT作为攻击过程中的求解工具，对LBlock加密进行实际攻击，可以在90 min内恢复7轮加密的所有密钥。     

MBBM方程和Vakhnenko方程的新精确解

应用新的修改的代数方法，求出MBBM方程和Vakhnenko方程的新精确解．这些解中包含有三角函数解、Jacobi椭圆函数解等．     

环的反同态性质的研究

当两个环之间存在反同态映射时,利用已知环的代数结构和性质给出未知环的代数结构和性质,从而研究环的反同态所具有的传递性质。     

布尔函数零化子的构造方法分析

寻找布尔函数的零化子是进行代数攻击的关键.本文对三种构造布尔函数的零化子的方法来进行了分析和讨论,并用实例对三种构造方法计算量给出了估算结果,得出了它们之间的差异.     

解析几何中的两个问题

本文讨论了解析几何中的两个疑难问题，它有益于解析几何的教学和研究。